<?php

(int) '1';
